Program doğrulama

tr

WikiRank.net
ver. 1.6

Program doğrulama

Quality:

Formal verification - act of proving or disproving the correctness of intended algorithms. Article "Program doğrulama" in Turkish Wikipedia has 0.1 points for quality (as of November 1, 2023).

This article has the best quality in English Wikipedia. Also, this article is the most popular in that language version.

Since the creation of article "Program doğrulama", its content was written by 9 registered users of Turkish Wikipedia and edited by 342 registered Wikipedia users in all languages.

The article is cited 9 times in Turkish Wikipedia and cited 713 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (Turkish): #5290 in November 2016
  • Global: #20053 in November 2003

The highest popularity rank from 2008:

  • Local (Turkish): #57320 in September 2018
  • Global: #149624 in September 2014

There are 19 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from November 1, 2023 (including revision history and pageviews for previous years).

下表顯示了最高品質的文章的語言版本。

Languages with the highest quality

#LanguageQuality gradeQuality score
1English (en)
Formal verification
31.4352
2Basque (eu)
Egiaztapen formala (informatika)
26.4615
3Arabic (ar)
التحقق الشكلي
21.7851
4Swedish (sv)
Formell verifiering
21.4736
5Greek (el)
Τυπική επαλήθευση
16.7359
6Italian (it)
Verifica formale
14.8767
7Russian (ru)
Формальная верификация
13.3645
8Japanese (ja)
形式的検証
13.348
9Spanish (es)
Verificación formal
12.4295
10Ukrainian (uk)
Формальна верифікація
8.0367
More...

The following table shows the most popular language versions of the article.

Most popular in all the time

The most popular language versions of the article "Program doğrulama" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Formal verification
1 070 776
2Russian (ru)
Формальная верификация
123 578
3Japanese (ja)
形式的検証
73 722
4Chinese (zh)
形式验证
54 880
5Spanish (es)
Verificación formal
38 412
6French (fr)
Vérification formelle
33 437
7Hebrew (he)
אימות תוכנה
20 846
8Portuguese (pt)
Verificação formal
15 772
9Polish (pl)
Weryfikacja formalna
15 607
10Ukrainian (uk)
Формальна верифікація
12 366
More...

The following table shows the language versions of the article with the highest popularity in the last month.

Most popular in October 2023

The most popular language versions of the article "Program doğrulama" in October 2023
#LanguagePopularity awardRelative popularity
1English (en)
Formal verification
5 424
2Russian (ru)
Формальная верификация
464
3Chinese (zh)
形式验证
316
4Japanese (ja)
形式的検証
209
5Spanish (es)
Verificación formal
184
6French (fr)
Vérification formelle
109
7Italian (it)
Verifica formale
51
8Hebrew (he)
אימות תוכנה
37
9Simple English (simple)
Formal verification
36
10Portuguese (pt)
Verificação formal
32
More...

The following table shows the language versions of the article with the highest Authors’ Interest.

The highest AI

Language versions of the article "Program doğrulama" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Formal verification
163
2Russian (ru)
Формальная верификация
28
3French (fr)
Vérification formelle
25
4Hebrew (he)
אימות תוכנה
22
5Chinese (zh)
形式验证
19
6Spanish (es)
Verificación formal
13
7Japanese (ja)
形式的検証
11
8Ukrainian (uk)
Формальна верифікація
10
9Polish (pl)
Weryfikacja formalna
9
10Turkish (tr)
Program doğrulama
9
More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

The highest AI in October 2023

Language versions of the article "Program doğrulama" with the highest AI in October 2023
#LanguageAI awardRelative AI
1English (en)
Formal verification
3
2Czech (cs)
Formální verifikace
1
3Russian (ru)
Формальная верификация
1
4Arabic (ar)
التحقق الشكلي
0
5Greek (el)
Τυπική επαλήθευση
0
6Spanish (es)
Verificación formal
0
7Basque (eu)
Egiaztapen formala (informatika)
0
8Persian (fa)
درستی‌یابی صوری
0
9French (fr)
Vérification formelle
0
10Hebrew (he)
אימות תוכנה
0
More...

The following table shows the language versions of the article with the highest number of citations.

The highest CI

Language versions of the article "Program doğrulama" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1English (en)
Formal verification
276
2Russian (ru)
Формальная верификация
66
3French (fr)
Vérification formelle
52
4Hebrew (he)
אימות תוכנה
51
5Japanese (ja)
形式的検証
50
6Ukrainian (uk)
Формальна верифікація
42
7Portuguese (pt)
Verificação formal
34
8Chinese (zh)
形式验证
32
9Spanish (es)
Verificación formal
26
10Greek (el)
Τυπική επαλήθευση
18
More...

Scores

Estimated value for Wikipedia:
Turkish:
Global:
Popularity in October 2023:
Turkish:
Global:
Popularity in all years:
Turkish:
Global:
Authors in October 2023:
Turkish:
Global:
Registered authors in all years:
Turkish:
Global:
Citations:
Turkish:
Global:

Quality measures

Interwikis

#LanguageValue
arArabic
التحقق الشكلي
csCzech
Formální verifikace
elGreek
Τυπική επαλήθευση
enEnglish
Formal verification
esSpanish
Verificación formal
euBasque
Egiaztapen formala (informatika)
faPersian
درستی‌یابی صوری
frFrench
Vérification formelle
heHebrew
אימות תוכנה
itItalian
Verifica formale
jaJapanese
形式的検証
plPolish
Weryfikacja formalna
ptPortuguese
Verificação formal
ruRussian
Формальная верификация
simpleSimple English
Formal verification
svSwedish
Formell verifiering
trTurkish
Program doğrulama
ukUkrainian
Формальна верифікація
zhChinese
形式验证

Popularity rank trends

Best Rank Turkish:
#57320
09.2018
Global:
#149624
09.2014

AI rank trends

Best Rank Turkish:
#5290
11.2016
Global:
#20053
11.2003

Local AI rank history

Languages comparison

Important global interconnections

Wikipedia readers most often find their way to information on Formal verification from Wikipedia articles about Correctness, Formal methods, Software verification, Mathematical induction and Proof assistant. Whereas reading the article about Formal verification people most often go to Wikipedia articles on Formal methods, Model checking, Automated theorem proving, CompCert and Hoare logic.

Cumulative results of quality and popularity of the Wikipedia article

List of Wikipedia articles in different languages (starting with the most popular):

News from 4 June 2024

On 4 June 2024 in multilingual Wikipedia, Internet users most often read articles on the following topics: Kylian Mbappé, Claudia Sheinbaum, ChatGPT, 1989 Tiananmen Square protests and massacre, Jannik Sinner, YouTube, UEFA Euro 2024, June 4, Carlos Alcaraz, Real Madrid CF.

In Turkish Wikipedia the most popular articles on that day were: Fatma Karanfil, José Mourinho, Erden Timur, BRICS, Aziz Yıldırım, SIAI-Marchetti SF.260, Fethullah Gülen, Ali Koç, Esma Esad, II. Mehmed.

About WikiRank

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from November, 2023. When calculating current popularity and AI of articles data from October 2023 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2023... More information